<?php

class Integer
{
}
